Daniel R. Licata Personal Information: E-mail:

Source URL: dlicata.web.wesleyan.edu

• Type theory
• International Conference on Functional Programming
• Programming language theory
• Homotopy type theory
• Twelf
• Dependent type
• Logical framework
• Functional programming
• SIGPLAN
• Programming language
• Symposium on Principles of Programming Languages
• Agda

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

MathWorks Software REFERENCE GUIDE MATLAB Overview MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and fourth-generation programming language.

Source URL: www.its.swinburne.edu.au

John R. Beieler CONTACT John Beieler INFORMATION 221 Pond Lab University Park, PAEDUCATION

Source URL: johnbeieler.org

• Software engineering
• Computer programming
• Computing
• Philip Schrodt
• Python
• Global Database of Events
• Language
• and Tone
• Louisiana State University
• Conflict and Mediation Event Observations

Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the

Source URL: www.ccs.neu.edu

• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical logic
• Security type system
• Symbol

Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools

Source URL: chrisseaton.com

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Formal languages
• Procedural programming languages
• Programming language implementation
• Parsing algorithms
• Compiler-compiler
• Parsing
• Compiler
• Syntax

Hardware Design and Functional Programming: Still Interesting after All These Years

Source URL: www.icfpconference.org

• APL programming language family
• IBM software
• APL
• Digital electronics
• Computer
• Hardware description language
• Computing
• Kenneth E. Iverson

TRAINING • PUBLISHING • CONSULTING http://www.learn2develop.net IOS103 – 2-Day Practical iOS Programming using the Swift Programming Language Apple announced the new Swift programming language at the Worldwide Deve

Source URL: dl.dropboxusercontent.com

AA Staff KMS Training Notes Updated: Overview of the day’s schedule and attendee introductions Part I - TCSG Links: www.tcsg.edu

Source URL: teched.tcsg.edu

• Software engineering
• Computing
• Computer programming
• APL programming language family
• Technical College System of Georgia
• IBM software
• KMS
• APL
• International Federation of Clinical Chemistry and Laboratory Medicine
• Cdb

Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Type theory
• Procedural programming languages
• Process calculi
• Data types
• Synchronization
• Language Of Temporal Ordering Specification
• Standard ML
• E-LOTOS
• ML